Reflections on the Object Constraint Language
نویسندگان
چکیده
The Object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagrammatically in UML. This paper reflects on a number of aspects of the syntax and semantics of the OCL, and makes proposals for clarification or extension. Specifically, the paper suggests that: the concept of flattening collections of collections is unnecessary, state models should be connectable to class models, defining object creation should be made more convenient, OCL should be based on a 2-valued logic, set subtraction should be covered more fully, and a "let" feature should be introduced.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملThe Drama of Divine Providence: Reflections on the Problem of Evil
This article studies the problem of evil in Abrahamic religions and philosophical traditions, and tries to restate their solutions in a contemporary language. The author aims at affirming traditional Abrahamic approaches to theodicy that preserve divine omnipotence, benevolence, and omniscience, but without denying the reality of evil.
متن کاملReflections by Robert Phillipson on English in Post-Revolutionary Iran. From Indigenization to Internationalization, M. Borjian (2013) Multilingual Matters, ISBN 978-1847699091
متن کامل
Term formation as the object of analysis of various terminology systems (on the basis of analysis of aerospace terminology in Russian language)
This article is dedicated to the study of the method of various term system analysis from term formation perspective. Herewith as the simple of analysis is studied aerospace terminology in Russian language. The main ways of term formation are divided into four groups: synthetic way, adoption, semantic metaphorization, analytic way. Each way and the nuances of its analysis are explained in detai...
متن کامل